conditional identities